- inference problem
- проблема логического вывода
English-Russian dictionary of computer science and programming. 2013.
inference problem
Смотреть что такое "inference problem" в других словарях:
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Inference engine — In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia
Problem of induction — The problem of induction is the philosophical question of whether inductive reasoning is valid. That is, what is the justification for either:# generalizing about the properties of a class of objects based on some number of observations of… … Wikipedia
Problem of evil — Part of a series on God General conceptions … Wikipedia
Problem of multiple generality — The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences. For example, it is intuitively clear that if:: Some cat is feared by every mouse then it follows logically that:: All mice… … Wikipedia
induction, problem of — Problem of justifying the inductive inference from the observed to the unobserved. It was given its classic formulation by David Hume, who noted that such inferences typically rely on the assumption that the future will resemble the past, or on… … Universalium
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Bayesian inference — is statistical inference in which evidence or observations are used to update or to newly infer the probability that a hypothesis may be true. The name Bayesian comes from the frequent use of Bayes theorem in the inference process. Bayes theorem… … Wikipedia
Strong inference — is a model of scientific inquiry developed by John R. Platt. [cite journal|journal=Science|volume=146|issue=3642|year=1964|title=Strong inference|author=John R. Platt|url=http://256.com/gray/docs/strong inference.html] Platt notes that certain… … Wikipedia
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
